Construction of the Graphical Propositional Logic

Mathematical logic is the logical basis of the modern computer. It is important for the development of the electronic computer. With the development of computer technology, especially the development of computer visualization technology, the two-dimensional objects, such as graph and table, are more and more frequently as the computer processing object. But, the traditional one-dimensional character grammar already can not process. Then graph grammars that based on the two-dimensional arise at the historic moment. In order to provide the visual logic reasoning mathematical foundation, this paper introduces the basic theory of graph grammars. Through the propositional calculus and propositional logic reasoning two aspects of graphical description, we use graph grammars to construct propositional calculus and propositional reasoning.